Predicate abstraction - PDFSEARCH.IO - Document Search Engine

Predicate abstraction
Results: 88

#	Item
41	Predicate Abstraction and CEGAR for Higher-Order Model Checking Naoki Kobayashi Ryosuke Sato Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2011-04-11 03:46:21
42	Predicate Abstraction and CEGAR for Higher-Order Model Checking Naoki Kobayashi Ryosuke Sato Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Language: English - Date: 2011-04-11 03:46:21
43	First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology Add to Reading List Source URL: www.cyc.com Language: English - Date: 2015-06-15 14:07:47 Logic Abstraction Mathematical logic Reasoning Ontology Automated theorem proving Predicate logic Knowledge representation Cyc Knowledge representation and reasoning Upper ontology Semantic reasoner
44	LOGICAL STEP-INDEXED LOGICAL RELATIONS DEREK DREYER, AMAL AHMED, AND LARS BIRKEDAL MPI-SWS, Germany e-mail address: Indiana University, USA e-mail address: Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-04-07 21:09:24 Logic Mathematical logic Abstraction Predicate logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Constructible universe Quantifier First-order logic
45	ARSENAL: Automatic Requirements Specification Extraction from Natural Language Shalini Ghosh1 , Daniel Elenius1 , Wenchao Li1 , Patrick Lincoln1 , Natarajan Shankar1 , Wilfried Steiner2 1 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-07-14 22:20:33 Logic Abstraction Software Predicate logic Compiler construction Computational linguistics Natural language parsing Programming language implementation Parsing Natural language processing Dependency grammar Domain-specific language
46	L op Detection Advances in Counterexample Guided Abstraction-Refinement Counterexample-guided abstraction-refinement based on predicate abstraction enables model checking large C programs (such as Windows device drivers) Add to Reading List Source URL: www.georg.weissenbacher.name Language: English - Date: 2010-10-22 10:59:31
47	An optimal Gaifman normal form construction for structures of bounded degree Lucas Heimberg1 Dietrich Kuske2 Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Logic Mathematical logic Abstraction Predicate logic Finite model theory Quantification FO Quantifier Constructible universe
48	Software Model Checking with Predicate Abstraction, Interpolation, & IC3 Johannes Birgmeier, Aaron Bradley, Add to Reading List Source URL: www.georg.weissenbacher.name Language: English - Date: 2014-05-16 17:12:27
49	Predicate Abstraction and CEGAR for Disproving Termination of Higher-order Functional Programs Takuya Kuwahara1 , Ryosuke Sato2 , Hiroshi Unno3 , and Naoki Kobayashi2 1 Add to Reading List Source URL: www.cs.tsukuba.ac.jp Language: English - Date: 2015-05-18 06:15:46
50	BRICS Basic Research in Computer Science BRICS RSM¨oller et al.: Predicate Abstraction for Dense Real-Time Systems Predicate Abstraction for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-11-23 11:27:09 Applied mathematics Models of computation Model checking Fixed-point combinator Abstraction Predicate Abstract interpretation Finite-state machine Function Theoretical computer science Mathematics Lambda calculus

UPDATE